Message Authentication and Provenance Verification for Industrial Control Systems

Static Provenance Verification for Message Passing Programs

Provenance information records the source and ownership history of an object. We study the problem of provenance tracking in concurrent programs, in which several principals execute concurrent processes and exchange messages over unbounded but unordered channels. The provenance of a message, roughly, is a function of the sequence of principals that have transmitted the message in the past. The ...

Modular Verification of Function Block Based Industrial Control Systems

IEC 61131-3, the world-wide standard for industrial control programming, is increasingly being used in safety-related control applications. Control loops are built from components taken from domain-specific function block libraries. Code inspection and testing are the two predominant quality assurance techniques. For highly dependable control applications, however, these techniques are not suff...

Automated Verification of Function Block Based Industrial Control Systems

7 Abstract The international standard IEC 61131-3, which supports Brad Cox' concept of " Software-ICs " 9 for industrial control programming, is increasingly being used in safety-related application domains. They include safety-instrumented functions, such as burner management, emergency shut-11 down and gas leak detection, but also complex automation processes controlling, e.g., chemical produ...

Provenance Verification

Enhanced Automated Teller Machine Using Short Message Service Authentication Verification

The use of Automated Teller Machine (ATM) has become an important tool among commercial banks, customers of banks have come to depend on and trust the ATM conveniently meet their banking needs. Although the overwhelming advantages of ATM cannot be over-emphasized, its alarming fraud rate has become a bottleneck in it’s full adoption in Nigeria. This study examined the menace of ATM in the socie...